Cleanup various shadow mode asserts.
authorMichael.Fetterman@cl.cam.ac.uk <Michael.Fetterman@cl.cam.ac.uk>
Tue, 8 Nov 2005 12:26:50 +0000 (13:26 +0100)
committerMichael.Fetterman@cl.cam.ac.uk <Michael.Fetterman@cl.cam.ac.uk>
Tue, 8 Nov 2005 12:26:50 +0000 (13:26 +0100)
commit07df3c16013f642c454e321580c287bce53b2a03
treeb1d10500511ceb73795fe87bde60e2fedcf10a11
parent172bd990860c30582850e6c69d96d71e1991d8da
Cleanup various shadow mode asserts.

Separate out the ability for domains to be able to write to their
pagetables (ala "writable page tables", which uses write-protected PTEs
to address the page tables: this is shadow_mode_write_all()) from the
right of a domain to create a PTE with write permissions that points
at a page table (this is shadow_mode_wr_pt_pte())...

Minor cleanup of SHADOW_DEBUG (at least make it compilable) in shadow.c.
xen/arch/x86/shadow.c
xen/arch/x86/shadow32.c
xen/arch/x86/vmx.c
xen/include/asm-x86/page.h
xen/include/asm-x86/shadow.h